Using Knowledge-based System Techniques in the Protocol Design Process
نویسنده
چکیده
This paper describes the knowledge-based system techniques, such as program transformation and artificial intelligence techniques, used to design a reliable protocol. Program transformation techniques can be used in deriving protocol specifications. AI techniques, such as search algorithms and theorem proving, can be used to reduce the global space search. AI techniques can also be used to help correctness proving in protocol validation and verification. This study is based on the Alternative Bit Protocol (ABP).
منابع مشابه
Intelligent Knowledge Based System Approach for Optimization of Design and Manufacturing for Abrasive Water Jet Machining
A water jet machining is an industrial tool capable of cutting a wide variety of materials using a very high-pressure jet of water, or a mixture of water and an abrasive substance. This paper addresses the concept of the Intelligent knowledge base system (IKBS) for optimization of product design and manufacturing process for water jet machining in computer based concurrent engineering environme...
متن کاملIntelligent Knowledge Based System Approach for Optimization of Design and Manufacturing for Abrasive Water Jet Machining
A water jet machining is an industrial tool capable of cutting a wide variety of materials using a very high-pressure jet of water, or a mixture of water and an abrasive substance. This paper addresses the concept of the Intelligent knowledge base system (IKBS) for optimization of product design and manufacturing process for water jet machining in computer based concurrent engineering environme...
متن کاملIntelligent Knowledge Based System Approach for Optimization of Design and Manufacturing Process for Wire-Electrical Discharge Machining
Wire electrical discharge machining (WEDM) is a method to cut conductive materials with a thin electrode that follows a programmed path. The electrode is a thin wire. Typical diameters range from .004" - .012" (.10mm - .30mm) although smaller and larger diameters are available. WEDM is a thermal machining process capable of accurately machining parts with varying hardness or complex shapes. WED...
متن کاملIntelligent Knowledge Based System Approach for Optimization of Design and Manufacturing Process for Wire-Electrical Discharge Machining
Wire electrical discharge machining (WEDM) is a method to cut conductive materials with a thin electrode that follows a programmed path. The electrode is a thin wire. Typical diameters range from .004" - .012" (.10mm - .30mm) although smaller and larger diameters are available. WEDM is a thermal machining process capable of accurately machining parts with varying hardness or complex shapes. WED...
متن کاملDevelopment of an Intelligent Cavity Layout Design System for Injection Molding Dies (RESEARCH NOTE)
This paper presents the development of an Intelligent Cavity Layout Design System (ICLDS) for multiple cavity injection moulds. The system is intended to assist mould designers in cavity layout design at concept design stage. The complexities and principles of cavity layout design as well as various dependencies in injection mould design are introduced. The knowledge in cavity layout design is ...
متن کامل